perfect extension

完全扩张